3.5.38 \(\int \sqrt {x} (a+b x)^2 \, dx\) [438]
Optimal. Leaf size=36 \[ \frac {2}{3} a^2 x^{3/2}+\frac {4}{5} a b x^{5/2}+\frac {2}{7} b^2 x^{7/2} \]
[Out]
2/3*a^2*x^(3/2)+4/5*a*b*x^(5/2)+2/7*b^2*x^(7/2)
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 36, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 1, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.077, Rules used = {45}
\begin {gather*} \frac {2}{3} a^2 x^{3/2}+\frac {4}{5} a b x^{5/2}+\frac {2}{7} b^2 x^{7/2} \end {gather*}
Antiderivative was successfully verified.
[In]
Int[Sqrt[x]*(a + b*x)^2,x]
[Out]
(2*a^2*x^(3/2))/3 + (4*a*b*x^(5/2))/5 + (2*b^2*x^(7/2))/7
Rule 45
Int[((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d
*x)^n, x], x] /; FreeQ[{a, b, c, d, n}, x] && NeQ[b*c - a*d, 0] && IGtQ[m, 0] && ( !IntegerQ[n] || (EqQ[c, 0]
&& LeQ[7*m + 4*n + 4, 0]) || LtQ[9*m + 5*(n + 1), 0] || GtQ[m + n + 2, 0])
Rubi steps
\begin {align*} \int \sqrt {x} (a+b x)^2 \, dx &=\int \left (a^2 \sqrt {x}+2 a b x^{3/2}+b^2 x^{5/2}\right ) \, dx\\ &=\frac {2}{3} a^2 x^{3/2}+\frac {4}{5} a b x^{5/2}+\frac {2}{7} b^2 x^{7/2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 28, normalized size = 0.78 \begin {gather*} \frac {2}{105} x^{3/2} \left (35 a^2+42 a b x+15 b^2 x^2\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
Integrate[Sqrt[x]*(a + b*x)^2,x]
[Out]
(2*x^(3/2)*(35*a^2 + 42*a*b*x + 15*b^2*x^2))/105
________________________________________________________________________________________
Maple [A]
time = 0.09, size = 25, normalized size = 0.69
| | |
| method |
result |
size |
| | |
| gosper |
\(\frac {2 x^{\frac {3}{2}} \left (15 x^{2} b^{2}+42 a b x +35 a^{2}\right )}{105}\) |
\(25\) |
| derivativedivides |
\(\frac {2 a^{2} x^{\frac {3}{2}}}{3}+\frac {4 a b \,x^{\frac {5}{2}}}{5}+\frac {2 b^{2} x^{\frac {7}{2}}}{7}\) |
\(25\) |
| default |
\(\frac {2 a^{2} x^{\frac {3}{2}}}{3}+\frac {4 a b \,x^{\frac {5}{2}}}{5}+\frac {2 b^{2} x^{\frac {7}{2}}}{7}\) |
\(25\) |
| trager |
\(\frac {2 x^{\frac {3}{2}} \left (15 x^{2} b^{2}+42 a b x +35 a^{2}\right )}{105}\) |
\(25\) |
| risch |
\(\frac {2 x^{\frac {3}{2}} \left (15 x^{2} b^{2}+42 a b x +35 a^{2}\right )}{105}\) |
\(25\) |
| | |
|
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((b*x+a)^2*x^(1/2),x,method=_RETURNVERBOSE)
[Out]
2/3*a^2*x^(3/2)+4/5*a*b*x^(5/2)+2/7*b^2*x^(7/2)
________________________________________________________________________________________
Maxima [A]
time = 0.26, size = 24, normalized size = 0.67 \begin {gather*} \frac {2}{7} \, b^{2} x^{\frac {7}{2}} + \frac {4}{5} \, a b x^{\frac {5}{2}} + \frac {2}{3} \, a^{2} x^{\frac {3}{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((b*x+a)^2*x^(1/2),x, algorithm="maxima")
[Out]
2/7*b^2*x^(7/2) + 4/5*a*b*x^(5/2) + 2/3*a^2*x^(3/2)
________________________________________________________________________________________
Fricas [A]
time = 0.42, size = 27, normalized size = 0.75 \begin {gather*} \frac {2}{105} \, {\left (15 \, b^{2} x^{3} + 42 \, a b x^{2} + 35 \, a^{2} x\right )} \sqrt {x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((b*x+a)^2*x^(1/2),x, algorithm="fricas")
[Out]
2/105*(15*b^2*x^3 + 42*a*b*x^2 + 35*a^2*x)*sqrt(x)
________________________________________________________________________________________
Sympy [C] Result contains complex when optimal does not.
time = 63.51, size = 1851, normalized size = 51.42 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((b*x+a)**2*x**(1/2),x)
[Out]
Piecewise((16*a**(23/2)*sqrt(-1 + b*(a/b + x)/a)/(-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b + x) - 315*a**6*
b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)*(a/b + x)**3) - 16*I*a**(23/2)/(-105*a**8*b**(3/2) + 315*a**7*b**(5/
2)*(a/b + x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)*(a/b + x)**3) - 40*a**(21/2)*b*sqrt(-1 + b*(
a/b + x)/a)*(a/b + x)/(-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b + x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105
*a**5*b**(9/2)*(a/b + x)**3) + 48*I*a**(21/2)*b*(a/b + x)/(-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b + x) -
315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)*(a/b + x)**3) + 30*a**(19/2)*b**2*sqrt(-1 + b*(a/b + x)/a)*
(a/b + x)**2/(-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b + x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**
(9/2)*(a/b + x)**3) - 48*I*a**(19/2)*b**2*(a/b + x)**2/(-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b + x) - 315
*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)*(a/b + x)**3) - 40*a**(17/2)*b**3*sqrt(-1 + b*(a/b + x)/a)*(a/
b + x)**3/(-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b + x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/
2)*(a/b + x)**3) + 16*I*a**(17/2)*b**3*(a/b + x)**3/(-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b + x) - 315*a*
*6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)*(a/b + x)**3) + 100*a**(15/2)*b**4*sqrt(-1 + b*(a/b + x)/a)*(a/b
+ x)**4/(-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b + x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)
*(a/b + x)**3) - 96*a**(13/2)*b**5*sqrt(-1 + b*(a/b + x)/a)*(a/b + x)**5/(-105*a**8*b**(3/2) + 315*a**7*b**(5/
2)*(a/b + x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)*(a/b + x)**3) + 30*a**(11/2)*b**6*sqrt(-1 +
b*(a/b + x)/a)*(a/b + x)**6/(-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b + x) - 315*a**6*b**(7/2)*(a/b + x)**2
+ 105*a**5*b**(9/2)*(a/b + x)**3), Abs(b*(a/b + x)/a) > 1), (16*I*a**(23/2)*sqrt(1 - b*(a/b + x)/a)/(-105*a**
8*b**(3/2) + 315*a**7*b**(5/2)*(a/b + x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)*(a/b + x)**3) -
16*I*a**(23/2)/(-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b + x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b
**(9/2)*(a/b + x)**3) - 40*I*a**(21/2)*b*sqrt(1 - b*(a/b + x)/a)*(a/b + x)/(-105*a**8*b**(3/2) + 315*a**7*b**(
5/2)*(a/b + x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)*(a/b + x)**3) + 48*I*a**(21/2)*b*(a/b + x)
/(-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b + x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)*(a/b +
x)**3) + 30*I*a**(19/2)*b**2*sqrt(1 - b*(a/b + x)/a)*(a/b + x)**2/(-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/
b + x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)*(a/b + x)**3) - 48*I*a**(19/2)*b**2*(a/b + x)**2/(
-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b + x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)*(a/b + x
)**3) - 40*I*a**(17/2)*b**3*sqrt(1 - b*(a/b + x)/a)*(a/b + x)**3/(-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b
+ x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)*(a/b + x)**3) + 16*I*a**(17/2)*b**3*(a/b + x)**3/(-1
05*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b + x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)*(a/b + x)*
*3) + 100*I*a**(15/2)*b**4*sqrt(1 - b*(a/b + x)/a)*(a/b + x)**4/(-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b +
x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)*(a/b + x)**3) - 96*I*a**(13/2)*b**5*sqrt(1 - b*(a/b +
x)/a)*(a/b + x)**5/(-105*a**8*b**(3/2) + 315*a**7*b**(5/2)*(a/b + x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a
**5*b**(9/2)*(a/b + x)**3) + 30*I*a**(11/2)*b**6*sqrt(1 - b*(a/b + x)/a)*(a/b + x)**6/(-105*a**8*b**(3/2) + 31
5*a**7*b**(5/2)*(a/b + x) - 315*a**6*b**(7/2)*(a/b + x)**2 + 105*a**5*b**(9/2)*(a/b + x)**3), True))
________________________________________________________________________________________
Giac [A]
time = 0.52, size = 24, normalized size = 0.67 \begin {gather*} \frac {2}{7} \, b^{2} x^{\frac {7}{2}} + \frac {4}{5} \, a b x^{\frac {5}{2}} + \frac {2}{3} \, a^{2} x^{\frac {3}{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((b*x+a)^2*x^(1/2),x, algorithm="giac")
[Out]
2/7*b^2*x^(7/2) + 4/5*a*b*x^(5/2) + 2/3*a^2*x^(3/2)
________________________________________________________________________________________
Mupad [B]
time = 0.04, size = 24, normalized size = 0.67 \begin {gather*} \frac {2\,x^{3/2}\,\left (35\,a^2+42\,a\,b\,x+15\,b^2\,x^2\right )}{105} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(x^(1/2)*(a + b*x)^2,x)
[Out]
(2*x^(3/2)*(35*a^2 + 15*b^2*x^2 + 42*a*b*x))/105
________________________________________________________________________________________